Extending C Global Surveyor
نویسنده
چکیده
This paper describes an extension of C Global Surveyor (CGS), a static program analysis tool developed at the NASA Ames Research Center. CGS is used to analyse mission-critical flight software of NASA Mars missions. In order to enhance CGS and support the analysis of very large systems, the abstract interpretation techniques on which CGS is based need to be augmented by complimentary program analysis techniques. Here we describe the construction of control flow graphs that represent the programs to be analysed. This is a first step towards the application of more advanced techniques such as program slicing.
منابع مشابه
Assimilation of Tes Data from the Mars Global Surveyor Scientific Mapping Phase
Assimilation of TES data from the Mars Global Surveyor scientifc mapping phase Conference Item How to cite: Montabone, L.; Lewis, Stephen R.; Read, Peter L.; Conrath, Barney J.; Pearl, John C. and Smith, Michael D. (2003). Assimilation of TES data from the Mars Global Surveyor scientifc mapping phase. In: First International Workshop on Mars atmosphere modelling and observations, 13-15 Jan 2003...
متن کاملMars global surveyor mission: overview and status.
The Mars Global Surveyor (MGS) spacecraft achieved a 45-hour elliptical orbit at Mars on 11 September 1997 after an 11-month cruise from Earth. The mission is acquiring high-quality global observations of the martian surface and atmosphere and of its magnetic and gravitational fields. These observations will continue for one martian year.
متن کاملMagnetic lineations in the ancient crust of mars
The Mars Global Surveyor spacecraft, in a highly elliptical polar orbit, obtained vector magnetic field measurements above the surface of Mars (altitudes >100 kilometers). Crustal magnetization, mainly confined to the most ancient, heavily cratered martian highlands, is frequently organized in east-west-trending linear features, the longest extending over 2000 kilometers. Crustal remanent magne...
متن کاملInternal structure and early thermal evolution of Mars from Mars Global Surveyor topography and gravity.
Topography and gravity measured by the Mars Global Surveyor have enabled determination of the global crust and upper mantle structure of Mars. The planet displays two distinct crustal zones that do not correlate globally with the geologic dichotomy: a region of crust that thins progressively from south to north and encompasses much of the southern highlands and Tharsis province and a region of ...
متن کاملMagnetic Field and Plasma Observations at Mars: Initial Results of the Mars Global Surveyor Mission
The magnetometer and electron reflectometer investigation (MAG/ER) on the Mars Global Surveyor spacecraft has obtained magnetic field and plasma observations throughout the near-Mars environment, from beyond the influence of Mars to just above the surface (at an altitude of approximately 100 kilometers). The solar wind interaction with Mars is in many ways similar to that at Venus and at an act...
متن کامل